switcherPopup: Disable hover on scrolling events

Just like with keyboard events, disable hover on scrolling events. Mouse
movements should not mess up the selection while scrolling.

https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/167

diff --git a/js/ui/switcherPopup.js b/js/ui/switcherPopup.js
index 2f88ce5fede803fae1ddaf21efd1f8b088f17efb..49b99dd18c70d82d85d4c08ffd2ab268eaeff6c0 100644 (file)
--- a/js/ui/switcherPopup.js
+++ b/js/ui/switcherPopup.js
@@ -228,6 +228,8 @@ var SwitcherPopup = GObject.registerClass({
     }
 
     vfunc_scroll_event(scrollEvent) {
+        this._disableHover();
+
         this._scrollHandler(scrollEvent.scroll_direction);
         return Clutter.EVENT_PROPAGATE;
     }